#incomplete

References

  1. https://en.wikipedia.org/wiki/Tseytin_transformation
  2. https://people.cs.umass.edu/~marius/class/h250/lec2.pdf